Ries, Sebastian, Habib, Sheikh Mahbub, Mühlhäuser, Max, Varadharajan, Vijay. Springer; 2011. CertainLogic: a logic for modeling trust and uncertainty (short paper).